Tujuan utama dari program Hilbert adalah untuk memberikan dasar yang aman untuk semua matematika. 这个计划的主要目标，是为全部的数学提供一个安全的理论基础。
Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil. 希尔伯特计划即是想将所有的数学放在坚固的公理基础上，但依据哥德尔不完备定理，每一相容且能蘊涵皮亚诺公理的公理系统必含有一不可決定的公式；因而所有数学的最终公理化是不可能的。
Handphone